Slightly extend MinimalGeneratingSet
for groups
#1755
+12
−2
We went looking everywhere, but couldn’t find those commits.
Sometimes commits can disappear after a force-push. Head back to the latest changes here.